Software bug - PDFSEARCH.IO - Document Search Engine

Software bug
Results: 2336

#	Item
431	The fix-cm package∗ Frank Mittelbach, David Carlisle, Chris Rowley, Walter Schmidt† This file is maintained by the LATEX Project team. Bug reports can be opened (category latex) at http://latex-project.org Add to Reading List Source URL: ftp.cvut.cz Language: English - Date: 2015-05-12 06:23:16 Computing Donald Knuth Application software Typesetting T1 Computer Modern TS1 PostScript Typeface Typography TeX Digital typography
432	Thirty Software Engineering Issues that have stayed constant for 30 years Initial requirements are seldom more than 50% complete. Requirements grow at about 2% per calendar month during development. About 20% of initi Add to Reading List Source URL: www.namcook.com Language: English - Date: 2012-01-22 22:30:59 Software engineering Software review Software development Source code Peer review Software testing Software bug Software quality
433	Public Deployment of Cooperative Bug Isolation ∗ Ben Liblit † Mayur Naik § Alice X. Zheng † Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2004-04-29 20:43:04 Cross-platform software Procedural programming languages C programming language C standard library Main function Library Dynamic loading C Computing Software engineering Software
434	PDF Document Add to Reading List Source URL: collateral.excel4apps.com Language: English - Date: 2011-10-21 09:43:02 Business intelligence GL Wand Cross-platform software Oracle Corporation Oracle Database Software bug Microsoft Excel Wand Software Business software Computing
435	Scalable Statistical Bug Isolation Ben Liblit Mayur Naik Alice X. Zheng Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-04-19 16:29:29 Predicate logic Grammar Predicate Semantics Software bug Extension Logic programming Function Logic Mathematical logic Mathematics
436	Static Error Detection using Semantic Inconsistency Inference ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-03-26 13:07:27 Data types Null Pointer Assertion Constructor Type system C Software bug Statistical hypothesis testing Software engineering Computer programming Computing
437	Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:38:30 Proof theory Software engineering Soundness Mathematical logic Usability Programming language Type system Compiler optimization Software bug Deduction Logic Model theory
438	Carschooling Science Science—Magnified! Observation is a key tool of scientists. A magnifying glass, or a jeweler’s loop with a higher magnification power, will help carschoolers see details and things that they did Add to Reading List Source URL: www.carschooling.com Language: English - Date: 2009-10-03 19:20:28 Magnifying glass Software bugs Starship Troopers Bug
439	Sampling User Executions for Bug Isolation Ben Liblit Alex Aiken Alice X. Zheng Michael I. Jordan Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-04-04 16:25:40 Profiling Pin Sampling Regression Crash reporter Statistical unit Linear regression Errors and residuals in statistics Debugging Statistics Regression analysis Software bug
440	Microsoft Wordrevised Add to Reading List Source URL: rs.ieee.org Language: English - Date: 2011-06-08 19:46:16 Systems engineering Software testing Software bug Reliability engineering Software development process Software engineering Software maintenance Open-source software Personal Software Process Software development Software quality Science

UPDATE